1. ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings
پدیدآورنده : Jonathan P. Bowen...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، B )Computer program language(,Congresses ، Z )Computer program language(
رده :
QA
76
.
L28
Vol
.
1878
